Can a Data Race Happen on a Single-Core Machine?
aoli.al·7h·
Discuss: Hacker News
⚡Cache Coherence
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·6h
💻Local LLMs
Unlocking Schedules: Visualizing Constraint Conflicts with Graph-Based Analysis by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🎨Graph Coloring
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·16h
🧠Separation Logic
Robotic assembly lines gain flexibility as algorithm plans tasks, teams and floor layouts
techxplore.com·10h·
Discuss: Hacker News
⚙️Modern Assembly
CISA’s new SBOM standards shift beyond checkbox security
reversinglabs.com·8h
📋Format Specification
System Instruction Fixed Point
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
WASM 3.0 Completed
webassembly.org·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming, r/rust
🧩WASM Components
Disentangling the Dual Role of NIC Receive Rings
usenix.org·4h·
Discuss: Hacker News
⚙️Operating System Design
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Claude Can (Sometimes) Prove It
galois.com·2d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Bench testing of the 1130 MRAM core memory board still not successful
rescue1130.blogspot.com·10h·
Discuss: rescue1130.blogspot.com
🔧Hardware Verification
I uncovered an ACPI bug in my Dell Inspiron 5567. It was plaguing me for 8 years.
triangulatedexistence.mataroa.blog·18h·
Discuss: Hacker News, r/programming
🧪Hardware Fuzzing
Spec-Driven Development: The Key to Scalable AI Agents
thenewstack.io·5h
📏Code Metrics
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
What I learned building a programming language with LLM agents
eddmann.com·6h·
Discuss: Hacker News
🗣️Domain-Specific Languages
We have outgrown the Process model
sidhion.com·18h·
Discuss: Lobsters, Hacker News, r/programming
⚙️Operating System Design